One Monad to Prove Them All

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

One to rule them all

The development of transposon-based genome manipulation tools can benefit greatly from understanding transposons' inherent regulatory mechanisms. The Tc1-mariner transposons, which are being widely used in biotechnological applications, are subject to a self-inhibitory mechanism whereby increasing transposase expression beyond a certain point decreases the rate of transposition. In a recent pap...

متن کامل

One entropy function to rule them all

We study the entropy of extremal four dimensional black holes and five dimensional black holes and black rings is a unified framework using Sen’s entropy function and dimensional reduction. The five dimensional black holes and black rings we consider project down to either static or stationary black holes in four dimensions. The analysis is done in the context of two derivative gravity coupled ...

متن کامل

GILBO: One Metric to Measure Them All

We propose a simple, tractable lower bound on the mutual information contained in the joint generative density of any latent variable generative model: the GILBO (Generative Information Lower BOund). It offers a data independent measure of the complexity of the learned latent variable description, giving the log of the effective description length. It is well-defined for both VAEs and GANs. We ...

متن کامل

vPipe: One Pipe to Connect Them All!

Many enterprises use the cloud to host applications such as web services, big data analytics and storage. One common characteristic among these applications is that, they involve significant I/O activities, moving data from a source to a sink, often without even any intermediate processing. However, cloud environments tend to be virtualized in nature with tenants obtaining virtual machines (VMs...

متن کامل

One System to Solve Them All

People are daily confronted with hundreds of situations in which they could use the knowledge of stylometry. In this paper, I propose a universal system to solve these situations using stylometry features, machine learning techniques and nature language processing tools. The proposed tool can help translation companies to recognize machine translation falsely submitted as a work of a human expe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The Art, Science, and Engineering of Programming

سال: 2019

ISSN: 2473-7321

DOI: 10.22152/programming-journal.org/2019/3/8